A type which indicates that code execution will never return from. Similar to [[NoReturn]] in Python.